Code Generation for PTIDES Models
نویسندگان
چکیده
PTIDES is a programming model for distributed real-time embedded systems. PTIDES builds on Discrete-Event (DE) semantics and leverages a global notion of time throughout distributed platforms. Applications expressed in PTIDES models can be designed without any knowledge about the hardware platform upon which it is implemented, thus completely decoupling the design from the implementation. To bridge this gap, a code generator is implemented to automatically generate platformspecific C code from PTIDES models designed in Ptolemy II [1] to a particular hardware platform. This paper present our approach in generating C code from PTIDES models, and statically link them against the PtidyOS scheduling libraries to produce a realtime executable we call PtidyOS.
منابع مشابه
Deterministic Execution of Ptides Programs
This paper discusses the use of the Ptides model of computation as a coordination language for the design of deterministic, event-driven, real-time, distributed embedded systems. Specifically, the paper shows how the use of synchronized clocks in the context of Ptides enables explicit, platform independent specification of functionality and timing. From this specification, we generate code for ...
متن کاملFrom Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems
From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems by Jia Zou Doctor of Philosophy in Electrical Engineering and Computer Science University of California, Berkeley Professor Edward A. Lee, Chair Real-time systems are those whose correctness depend not only on logical operations but also on timing delays in response to environment triggers. Thus programs that implement the...
متن کاملImplementation of Real-Time Distributed Discrete- Event Execution with Fault Tolerance
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking. This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended w...
متن کاملPoster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”
Most real-time embedded software is built on programming abstractions that lack precise timing semantics. Our earlier work presented PTIDES, a programming model for distributed real-time software that delivers temporal semantics by exploiting discrete-event model of computation. In this work we introduce work we are doing to develop PtidyOS, a novel lightweight embedded operating system based o...
متن کاملApplication of Programming Temporally Integrated Distributed Embedded Systems
The introduction of network time protocols such as NTP (at a coarse granularity) and IEEE 1588 (at a fine granularity) gives a relatively consistent global notion of time that has the potential to significantly change how we design distributed real-time systems. In [4], we present a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems) that uses discre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009